#ifndef HELLO_WORLD_H
#define HELLO_WORLD_H

extern void hello_world_print(int32_t count);

#endif
